The Predicate Modal Logic of Provability
Franco Montagna
証明可能性述語論理QGL